x = 1//1*1/5*12%0x12
